1. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
2. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
